Auto-interprétation, délibération et expression

Interprétation Et Reconnaissance D'images Et De Documents Theme Cog Rennes

Extraction et interprétation d'information géographique dans des données non structurées

This paper outlines the “Pyrénées Itinéraires Virtuels” project. The aim of this project is to add value to a legacy localised corpus. Unified models are proposed to define spatial entities in a formal way. These models allow to build a specific information retrieval system based on the semantic contents of various kinds of documents. Moreover, a reflection on computable interpretation of these...

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

ions. Une abstraction pouvant être utilisée en dehors du contexte où elle est définie, on doit mémoriser la liaison des variables apparaissant dans son corps au moment de sa définition. C’est à cette fin qu’on utilise une fermeture, c’est-à-dire l’association d’une abstraction (ident * term) et de l’environnement dans lequel elle a été définie (env) via le constructeur ValAbs. Lecture/écriture ...

Spéculation et auto-stabilisation

L’auto-stabilisation garantit qu’à la fin d’une période de fautes transitoires, un système réparti retrouve de lui-même un comportement correct en un temps fini. La spéculation consiste à garantir que le système soit correct pour toute exécution mais possède des performances significativement meilleures pour un sous-ensemble d’exécutions qui sont supposées plus probables. Un protocole spéculati...

Interprétation abstraite

Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.